bitkeeper revision 1.1430 (4289ef91cnLSZ2abQmRijAYRLrwMjQ)
authormaf46@burn.cl.cam.ac.uk <maf46@burn.cl.cam.ac.uk>
Tue, 17 May 2005 13:20:17 +0000 (13:20 +0000)
committermaf46@burn.cl.cam.ac.uk <maf46@burn.cl.cam.ac.uk>
Tue, 17 May 2005 13:20:17 +0000 (13:20 +0000)
commitfd3515acc70a9814453b6fe795b00f7fcb3ccd68
treed23177e54aca28f3061569a4b86be209d1375966
parentf7c008306ad355141ca6a882e51ab74a29f1ee13
bitkeeper revision 1.1430 (4289ef91cnLSZ2abQmRijAYRLrwMjQ)

Bug fix for shadow external mode (i.e. VMX) operation,
fixing an overly aggressive new ASSERT added with the light weight
shadow code.
xen/arch/x86/domain.c
xen/arch/x86/shadow.c